121. Programming language structures
پدیدآورنده: Organick, Elliott Irving
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Programming languages )Electronic computers( -- Syntax,، Data structures )Computer science(
رده :
QA
76
.
7
.
O73


122. Programming languages :
پدیدآورنده: André Rauber Du Bois, Phil Trinder (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers), Congresses
رده :
QA76
.
7
.
B73
2013


123. Programming languages and operational semantics :
پدیدآورنده: by Maribel Fernández
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- Semantics
رده :
QA76
.
7
.
F47
2014


124. Programming languages and systems :
پدیدآورنده: Hongseok Yang (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers), Congresses,Software engineering, Congresses
رده :
QA76
.
7
.
A65
2011


125. Programming languages and systems :
پدیدآورنده: Amal Ahmed (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
رده :
QA76
.
6


126. Programming languages and systems :
پدیدآورنده: Sukyoung Ryu (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
7


127. Query optimization by semantic veasoning
پدیدآورنده: / by Jonathan J. King
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Data base management,Information storage and retreval systems,Programming languages (Electronic computers) semantics
رده :
QA76
.
9
.
D3K55
1984


128. Realistic compiler generation
پدیدآورنده: Lee, Peter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Compilers )Computer programs(,، Programming languages )Electronic computers(--Semantics
رده :
QA
76
.
76
.
C65
.
L44
1989


129. Scenarios
پدیدآورنده: / Stefan Leue, Tarja Johanna Systa (eds.).
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Software engineering--Graphic methods--Congresses.,Computer network protocols--Congresses.,Programming languages (Electronic computers)--Semantics--Congresses.
رده :
QA76
.
758
.
S28
2003


130. Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
پدیدآورنده: Stefan Leue, Tarja Johanna Systa )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Graphic methods -- Congresses ، Software engineering,Congresses ، Computer network protocols,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3466


131. Semantic techniques in quantum computation /
پدیدآورنده: edited by Simon Gay, Ian Mackie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
رده :
QA76
.
889
.
S36
2010


132. Semantics and algebraic specificatio
پدیدآورنده: / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009


133. Semantics and algebraic specification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A

134. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
پدیدآورنده: edited by Neil D. Jones
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
94


135. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980
پدیدآورنده: edited by Neil D. Jones
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Compilers )Computer programs(,، Programming languages )Electronic computers( - Semantics
رده :
QA
1
.
L4
v
.
94


136. Semantics-directed compiler generation: proceedings of workshop Aarhus, Denmark, January, 1980
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Compiling )Electronic computers(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
6
.
W698
1980


137. Semantics for concurrency
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Parallel programming (Computer science ► Programming languages (Electronic computers)- Semantics
رده :
S471

138. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
پدیدآورنده: / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Parallel programming (Computer science) - Congresses,Programming languages (Electronic computers) - Semantics - Congresses
رده :
QA76
.
642
.
I56
1990


139. Semantics : foundations and applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992 : Proceedings
پدیدآورنده: J.W. de Baker, W.P. de Roever, G. Rozenberg )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
666


140. Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
7
.
R49
1992

